Actor-eUML for Concurrent Programming
نویسندگان
چکیده
The advent of multi-core processors offers an opportunity to increase the usage of Executable UML. Researchers are advocating the division of software systems into a productivity layer and an efficiency layer to shield mainstream programmers from the complexities of parallelism. Such separation of application and platform concerns is the foundation of Executable UML. To leverage this opportunity, an approach to Executable UML must address the complexity of the UML standard and provide a formal model of concurrency. In this paper, we introduce the Actor-eUML model and formalize the mapping between actors in the Actor model and Executable UML agents (active objects) by unifying the semantics of actor behavior and the hierarchical state machine (HSM) semantics of Executable UML agents. The UML treatment of concurrency is simplified, and the Actor model is extended to enable a set of actor behaviors to specify the HSM for an Executable UML active class.
منابع مشابه
ReActor: A notation for the specification of actor systems and its semantics
With the increasing use of the actor model in concurrent programming there is also an increased demand in precise design notations. Precise notations enable software engineers to rigorously specify and validate the non-deterministic behavior of concurrent systems. Traditional design notations are either imperative, too concrete, or do not support the actor model. In this paper, we present a new...
متن کاملModelling a Static Concurrent Object Oriented Programming System
We present a study of the interaction properties of objects in concurrent object oriented programming. We identify a set of basic interaction mechanisms: object identity, asyn-chronous message passing, implicit receive primitive, which are closed to those of the actor model. Then, we deene an actor algebra over actor terms as a basic formalism for representing the semantic of concurrent object ...
متن کاملFormal Reasoning about Actor Programs Using Temporal Logic
We here present an approach to reasoning about actor programs on the basis of temporal logic. Temporal logic is particularly appropriate for the speciication of concurrent programs, but most known temporal logic proof systems for concurrent computations rely on imperative language constructs, ignoring, e.g., the creation of processes and the dynamic connguration of communication channels, which...
متن کاملVisualizing actor programs using predicate transition nets
The Actor model of concurrent computation uni es the functional and object-oriented programming language paradigms. The model provides a exible basis for concurrent programming. It supports local state, dynamic creation and con guration, and inherent parallelism. Because of the uidity of Actors, specifying and debugging actor systems is often considered di cult. We believe visual programming te...
متن کاملACT + + 2 . 0 : A Class Library for Concurrent Programming in C + + Using Actors
ACT++ 2.0 is the most recent version of a class library for concurrent programming in C++. The underlying model of concurrent computation is the Actor model. Programs in ACT++ consist of a collection of active objects called actors. Actors execute concurrently and cooperate by sending request and reply messages. An agent, termed the behavior of an actor, is responsible for processing a single r...
متن کامل